101. Handbook of logic in computer science
پدیدآورنده : edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
H27
1992
102. Higher-order algebra, logic, and term rewriting : first International Workshop, HOA'93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers
پدیدآورنده : Jan Heering...]et al.[, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Algebra,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
816
103. Higher-order algebra, logic, and term rewriting : second International Workshop, HOA'95, Paderborn, Germany, September 21-22, 1995 : selected papers
پدیدآورنده : Gilles Dowek ... ]et al.[, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Algebra,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1074
104. Hyperproof ]for the Macintosh[
پدیدآورنده : Barwise, Jon
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science,، Logic, Symbolic and mathematical,، Hyperproof,، Macintosh )Computer(
رده :
P
25
.
C28
No
.
42
105. Inductive Logic Programming :
پدیدآورنده : edited by Paolo Frasconi, Francesca A. Lisi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computers.,Logic, Symbolic and mathematical.
رده :
QA76
.
63
E358
2011
106. Introduction to formal philosophy
پدیدآورنده : Sven Ove Hansson, Vincent F. Hendricks, editors; Esther Michelsen Kjeldahl, assistant editor
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Philosophy,، Analysis )Philosophy(,، Computer science,، Logic, Symbolic and mathematical,، Ethics,Philosophy ، Language and languages
رده :
B
808
.
5
.
I56
107. Introduction to formal philosophy /
پدیدآورنده : Sven Ove Hansson, Vincent F. Hendricks, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.,Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.
رده :
B808
.
5
.
I58
2018
108. Intuitionistic Fuzzy Sets
پدیدآورنده : by Krassimir T. Atanassov.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Economics.,Logic, Symbolic and mathematical.
109. Iteration Theories :
پدیدآورنده : by Stephen L. Bloom, Zoltán Ésik.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
M35
B978
1993
110. Iteration theories
پدیدآورنده : Stephen L. Bloom, Zoltخ n اsik
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Computer science -- Mathematics,Iterative methods )Mathematics(,Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
,
I56
1993
111. Iteration theories
پدیدآورنده : Stephen L. Bloom, Zoltخ n اsik
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Computer science -- Mathematics,Iterative methods )Mathematics(,Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
,
I56
1993
112. Iteration theories : the equational logic of iterative processes
پدیدآورنده : Bloom, Stephen L.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computer science - Mathematics,، Iterative methods )Mathematics(,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
I56
1993
113. J. Michael Dunn on information based logics
پدیدآورنده : Katalin Bimbo, editor
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Dunn, J. Michael, 1941-,Logic,Computer science,Logic, Symbolic and mathematical,Electronic books
رده :
EBOOK
,
BC
M5
71
2016
114. KI 2015
پدیدآورنده : \ [edited by] Steffen Hölldobler...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی-- کنگره‌ها
رده :
Q
336
.
K5
2015
E-Book
,
115. Knowledge in action
پدیدآورنده : / Raymond Reiter
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Knowledge representation (Information theory),Expert systems (Computer science),Logic, Symbolic and mathematical
رده :
Q387
.
R48
2001
116. Knowledge in action
پدیدآورنده : / Raymond Reiter
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Knowledge representation (Information theory),Expert systems (Computer science),Logic, Symbolic and mathematical
رده :
Q387
.
R48
2001
117. Knowledge in action
پدیدآورنده : / Raymond Reiter
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Knowledge representation (Information theory),Expert systems (Computer science),Logic, Symbolic and mathematical
رده :
Q387
.
R48
2001
118. Learning language in logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer logic ; Natural language processing (Computer science) ; Logic, Symbolic and mathematical ;
119. Learning language in logic
پدیدآورنده : James Cussens, Saso Dzeroski, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer logic,، Natural language processing )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1925
120. Linear logic in computer science
پدیدآورنده : edited by Thomas Ehrhard ... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical,Mathematics ، Computer science
رده :
QA
9
.
54
.
L563
